基于BLP的Web系统多级安全策略模型

Web系统的广泛应用使其安全问题日益突出.通过分析当前Web系统存在的安全隐患,在Web资源的访问控制上引入了多级安全策略,从Web系统的功能需求和安全需求出发,分析了BLP模型直接应用于Web系统时导致的问题.在BLP模型的基础上,提出了Web系统的多级安全策略模型,对Web系统中的概念、对象和操作进行抽象和提炼,研究了Web系统处于安全状态时应当满足的安全条件,并在此基础上,对Web系统、系统状态、和状态转换进行了形式化描述.     

相干反斯托克斯喇曼光谱测量技术

根据燃烧诊断的需要 ,研究了理论相干反斯托克斯喇曼光谱 (CARS)与温度、浓度和压力的关系 ,在液化石油气 /空气预混火焰中进行了氮分子CARS测温实验。结果表明 ,CARS是一种很有前途的发动机燃烧诊断技术     

建设具有我军特色的数字化部队势在必行 势必能行

数字化部队是现代信息技术运用于军事领域的产物,是信息时代陆军的发展趋势和提高陆军战斗力的必然选择。本文分析了我陆军建设数字化部队的必要性、紧迫性与可行性;指出建设数字化部队必须实现武器装备与编制编成、作战理论与教育训练的一体化发展,并针对我陆军数字化部队建设的规模与进度、建设重点以及基本建设思路等问题提出了建设性意见。     

努力开创我军思想政治建设的新局面--学习贯彻江泽民国防和军队建设思想

江泽民国防和军队建设思想是我军建设的强大思想武器和科学指南,本文从以下三个方面阐发学习、领会、贯彻江泽民国防和军队建设思想的经验和体会一、铸造我军"永远不变的军魂";二、加强部队精神文明建设;三、抓好思想政治建设工作的开拓创新.     

振级落差和插入损失对应关系的研究

评价隔振系统的隔离效果到底是用振级落差好,还是用插入损失好,一直存在着争议．尽管有关的国家标准和军标已明确规定,用振级落差作为舰船上各类隔振装置隔振效果的评价指标,但在讨论具体问题时,有人仍然提出插入损失的对应值问题．作者在理论上探讨了单自由度线性隔振系统的振级落差与插入损失的表达式,及其在舰船条件下的定量对应关系,从而回答了上面提出的问题     

DOS环境下双机实时火控系统软件设计

在舰载作战指挥与火力控制系统中,基于Multibus总线的计算机系统常配置成双机或多机工作方式,该文以某型火控系统为例介绍一种DOS环境下双机实时系统软件设计方法．     

舰船可靠性对维修费用的影响分析

对两类主要影响因素分别建立了相应的数学模型．依据约化理论,建立了维修费用的ＶＡＲ模型．同时,根据统计资料分析了实际舰载主要设备的故障规律,指出了传统定时维修方式的理论基础的不完整性．     

军队装备资金管理系统的设计与实现

从技术角度详细介绍了军队装备资金管理系统的设计思想和实现方法,该系统采用军队装备财务规则规范,选用军方选型数据库系统ＯＲＡＣＬＥ工具编程．     

基于一种模型的中子星结构

从物态方程出发,利用中子星结构方程计算了中子星的结构。得到了引力质量材M_G=1.27M_θ材,转动惯量I=1.29x10(45)g/cm~2,与观测结果符合较好。     

高斯定理及安培环路定理的严格证明

在电磁学中,库仑定律和比奥—萨伐尔定律是基本定律,而高斯定理和安培环路定理实用性更强,应用更方便。在一般教科书中,这两个定理(律)的推导都是先取特例,然后再推广到一般情况。本文用数学方法从库仑定律和比奥—萨伐尔定律直接导出这两个定律。